home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 1.iso / ARGONET / PD / PROGRAMMING / LCLINT-D.SPK / lclint / guide / sumsquares.c < prev    next >
Encoding:
C/C++ Source or Header  |  1996-08-26  |  199 b   |  12 lines

  1. extern int square (/*@sef@*/ int x);
  2. # define square(x) ((x) *(x))
  3.  
  4. extern int sumsquares (int x, int y);
  5. # define sumsquares(x,y) (square(x) + square(y))
  6.  
  7. int f (int i)
  8. {
  9.   return square (i++);
  10. }
  11.  
  12.